National Repository of Grey Literature 42 records found  1 - 10nextend  jump to record: Search took 0.01 seconds. 
Model of Tasks with Constrains and Mechanisms of Their Scheduling in UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (referee) ; Strnadel, Josef (advisor)
The effort of this thesis is the review of mechanisms of tasks planning in singlecore environment. Each models are designed and implemented in tool UPPAAL using these mechanisms. The main focus in this thesis is the tool UPPAAL. Result of this thesis is verification of each mechanisms properties received from implementation of models in UPPAAL. TimesTool and Cheddar are the tools which are used for comparing our results from UPPAAL.
Techniques for parallel processing in .NET Framework
Hajn, Pavel ; Morský, Ondřej (referee) ; Lattenberg, Ivo (advisor)
This bachelor thesis describes the design of program which uses the techniques of parallel programming. The thesis contents theoretical and practical part. The theoretical part is focused on explaining the basic concepts such as multi-threaded execution of applications on singlecore and multicore processor, topology of threads and methods of parallel programming with using classes ThreadPool and Task Parallel Library, which describes the methods Parallel.For, Parallel.ForEach, Parallel.Invoke and TASK. In the practical section individual functions and specific methods needed for proper functioning of the program are explained, which represent simple archive of web pages. The sites are periodically checked and addresses of this website’s are specified in the configuration file.
Tracking System Design and Production Supported by In-house Analyses
Okáník, Pavel ; Koch, Miloš (referee) ; Dydowicz, Petr (advisor)
The aim of this thesis is to devise a functional system that will improve workflow and productivity at Anovis s.r.o. The first chapter provides a theoretical framework. The second chapter provides a detailed description of the company in question as well as an analysis of current systems and applications. The last chapter discusses the system itself with respect to its economic benefits and its future use.
Implementation of Advanced Real-Time Scheduling Mechanisms for uC/OS-II
Čižinský, Vojtěch ; Mikušek, Petr (referee) ; Strnadel, Josef (advisor)
This thesis deals with extensions of uC/OS-II kernel services. These extensions are about advanced task scheduling mechanisms. Source code of this operating system is wide open and can be, in accordance with licence agreement, modified and extended with additional capabilities. Functionality of implemented scheduling algorithms is at the end verified using tools Cheddar and TimesTool.
Security games "Capture The Flag"
Karabina, Lukáš ; Pospíšil, Ondřej (referee) ; Martinásek, Zdeněk (advisor)
Bachelor’s thesis is focused on providing general information about "capture the flag" security games. It deals with the basic categorization of this type of games, it also describes various categories for tasks that can be included within these games. The thesis analyzes selected available platforms for organizing "capture the flag" security games. At first the thesis deals with security games in general, then deals with basic categorization of tasks, that are often included in these games, then continues with the issue of selecting a suitable platform for the practical part of the thesis to support the courses dealing with cryptography and cyber sercurity. Finally, thesis discribes the individual tasks that were implemented in its practical part.
Use of the "model based design" method for the design of an embedded application
Mačišák, Martin ; Fiedler, Petr (referee) ; Bradáč, Zdeněk (advisor)
This diploma thesis demonstrates the differences between approaches in software development. A code generation search is performed. The work describes possible tools and methods of code validation and verification. The next part provides information on the use of a design-based model in critical-demanding applications. Further, the work describes the proposal of platforms for controling the BLDC motor. Low leve software is programed for these chosen platforms. The logic of controling and user interface is created. The logic of controling is created and tested in Simulink. Further more whole programmed code is connected with the low level layer. The whole solution of my diploma thesis is tested.
Software Support for Projects Management
Janda, Petr ; Kreslíková, Jitka (referee) ; Květoňová, Šárka (advisor)
This project describes design and implementation of project management information system support, mainly for IT organizations. It includes informations about basic facts in project management and mainly about Rational Unified Process, the modern metodology which is well usefull in today changeable environment. System is implemented in Microsoft Visual Studio 2005 with support of Microsoft SQL Server 2005 and consists of ASP.NET presentation and of DLL library written in C# language. Information system provides support for project planing and management. System work in standard internet browsers and is very usefull for geografically devided teams.
Module for Task Administration for NLPIS
Žurek, Aleš ; Otrusina, Lubomír (referee) ; Dytrych, Jaroslav (advisor)
This bachelor thesis analyzes the current information system NLPIS and its components. It include design and implementation that extends the capabilities of existing system NLPIS and adjusts its components. It aims to manage tasks and to link the system NLPIS with MediaWiki. The solution includes an analysis of the newly added classes.
Mobile App for Editing and Viewing Simple Weekly Schedules
Džubarová, Romana ; Škandera, Juraj (referee) ; Herout, Adam (advisor)
The aim of this work is to create a mobile application that will write down the regular weekly activities of the user. Users are not only university or high school students, but the application is intended to appeal to all people who need to register for regular activities during the week. Users can create activities which are inserted into the table. These activities can be changed or deleted. The application allows you to create a test task. It is possible to set a notification for the exams, which the user will receive at the time of the exam, or he can change this time in the Settings. The user can also change what his table will look like in Settings. He can change the days on which he wants to record activities or the start and end time of activity. The application can also be set to dark mode to save battery life. The bachelor thesis describes the design, implementation, testing, and also future intentions for my mobile application.
Workflow System Data Layer
Prochocká, Kristína ; Zámečníková, Eva (referee) ; Pospíšil, Milan (advisor)
This bachelor's thesis deals with a specific design for a data layer of a Workflow system. Workflow systems are used for various purposes by many companies. The resulting work proposes a simple and flexible Workflow data representation and implements -- in the PHP language and partly JavaScript -- a minimal kernel using this representation and provides sample processes showcasing the design.

National Repository of Grey Literature : 42 records found   1 - 10nextend  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.